(() => {
  // const menuButton = document.querySelector(".menu .button");
  // const SMALL_MOBILE_WIDTH = 750;
  // const NORMAL_TOP = 40;

  // function syncMenuTop() {
  //   const min = window.innerWidth < SMALL_MOBILE_WIDTH ? 16 : 32
  //   menuButton.style.top = `${Math.max(min, NORMAL_TOP - window.scrollY)}px`;
  // }
  // addEventListener("scroll", syncMenuTop);
  // addEventListener("resize", syncMenuTop);
  // syncMenuTop()
})();
